241. Logic and Boolean algebra
پدیدآورنده : Arnold, B. H.)Bradford Henry(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra, Boolean
رده :
QA
266
.
A7
242. Logic and Boolean algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
243. Logic and Boolean algebra
پدیدآورنده : / by Kathleen Levitz, Hilbert Levitz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Algebra, Boolean
رده :
QA9
.
L47
244. Logic and Boolean algebra
پدیدآورنده : / by Kathleen Levitz, Hilbert Levitz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Algebra, Boolean
رده :
QA9
.
L47
245. Logic and humour in the fabliaux :
پدیدآورنده : Roy J. Pearcy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fabliaux-- History and criticism.,French poetry-- To 1500-- History and criticism.,Humorous poetry, French-- History and criticism.,Altfranzösisch,Erzähltechnik,Fablel,Fabliaux.,French poetry.,Humor,Humorous poetry, French.,LITERARY CRITICISM-- European-- French.,POETRY-- Continental European.,Altfranzösisch., 7
رده :
PQ207
.
P43
2007
246. Logic and logic design
پدیدآورنده : by B. Girling, H.G. Moring
موضوع : Switching theory,Algebra, boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
247. Logic and logic design
پدیدآورنده : / by B. Girling and H. G. Moring
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Switching theory,Algebra, Boolean
رده :
621
.
3819
Gi-L
248. Logic, computation, hierarchies /
پدیدآورنده : edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
249. Logic functions and equations :
پدیدآورنده : Christian Posthoff, Bernd Steinback.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
رده :
QA10
.
3
.
P67
2019
250. Logic prepared the Mathematics Foundation Course Team
پدیدآورنده : Open University , Mathematics Foundation course Team
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Algebra, Boolean,، Logic Symbolic and Mathematical
رده :
QA
10
.
3
.
O64
251. Logic, rationality, and interaction :
پدیدآورنده : Davide Grossi [und weitere] (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Lernendes System.
رده :
BC5
.
D385
2013
252. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
253. Logical design of electrical circuits
پدیدآورنده : HIGONNET,RENE A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRIC CIRCUITS , BINARY SYSTEMS )MATHEMATICS( , ALGEBRA,BOOLEAN
رده :
TK
454
.
H513
1968
254. Logical design of electrical circuits
پدیدآورنده : Higonnet, Rene A
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electric circuits,، Binary systems )Mathematics(,، Algebra, Boolean
رده :
TK
454
.
H513
1968
255. Logique combinatoire et sequentielle, maitrise d'E.E.A., C3, automatique
پدیدآورنده : Lagasse, Jean
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Switching theory,، Algebra, Boolean
رده :
QA
401
.
L27
1971
256. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
257. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
258. Mathematical Foundations of Information Retrieval
پدیدآورنده : by Sándor Dominich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Humanities.,Information storage and retrieval systems.,Mathematics.
259. Mathematical structures for computer science /
پدیدآورنده : Judith L. Gersting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Mathematical models.,Mathematics.,Ciência da computação.,Computer science-- Mathematics.,Informatik.,Matemática.,Mathematical models.,Mathematics.,Mathematik.,Modelos matemáticos.
رده :
QA39
.
3
.
G47
2003